|
契約プログラミング(けいやくプログラミング、Programming By Contract)または契約による設計(けいやくによるせっけい、Design By Contract)とは、プログラムコードの中にプログラムが満たすべき仕様についての記述を盛り込む事で設計の安全性を高める技法。プログラミング言語Eiffelで初めて導入された。"Design by Contract" の頭文字からとった DbC (ディービーシー) でよばれることが多い。 ==概要== ソフトウェア開発工程で、あるコードを使用した際にエラーが生じたとする。この時エラーには2つの可能性がある: * コードの実装に誤りがあった * コードを使う側に誤りがあった。 契約では、コードの利用条件を主処理とは別に定めることでエラーの位置を明確にする。契約違反が発生すると例外などの形で実行は中断される。 これは仕様をドキュメントとして付属する代わりに、実行可能な形態でコードの一部にできるという事である。最終的な配布物はコンパイラオプションで契約用コードを取り除く。従って実行効率にも影響しない。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「契約プログラミング」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Design by contract 」があります。 スポンサード リンク
|